Typ-Inferenz in Java 5.0

in Java 5.0 ein korrekter Typ. Programmierern fällt es oftmals schwer zu erkennen, dass Typen dieser Art für bestimmte Java 5.0 Methoden eine korrekte Typisierung wären. Desweiteren gibt es Java 5.0 Methoden, die Durchschnittstypen als allgemeinste Typisierung hätten. Durchschnittstypen sind allerdings in Java 5.0 nicht implementiert. Das heißt oftmals haben Java 5.0 Methoden nicht den allgemeinst möglichen Typ, was dem Ziel wiederverwendbaren Code zu schreiben entgegensteht. Das hat uns veranlasst ein Typinferenz–System für Java 5.0 zu entwickeln, das den Benutzer durch automatische Typberechnungen unterstützt. Typinferenz in Java 5.0 ermöglicht es, Parameter von Methoden und lokale Variablen ungetypt zu deklarieren. Der Typinferenz–Algorithmus berechnet dann jeweils den allgemeinsten Typ.